5901. Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98, held as part of the joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Author: Bernhard Steffen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1384
5902. Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
Author: Nicolas Halbwachs, Lenore D. Zuck )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
3440
5903. Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Author: Kurt Jensen, Andreas Podelski )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2988
5904. Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Author: Tiziana Margaria, Wang Yi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2031
5905. Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings
Author: Hubert Garavel, John Hatcliff )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2619
5906. Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings
Author: Joost-Pieter Katoen, Perdita Stevens )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2280
5907. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
Author: Ed Brinksma )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1217
5908. Topics in Industrial Mathematics
Author: by Helmut Neunzert, Abul Hasan Siddiqi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer science-- Mathematics.,Electronic data processing.,Mathematical optimization.,Mathematics.
5909. Topics in discrete mathematics
Author: Martin Klazar ... ]et al.[, editors
Library: Vali Asr University Central Library (Kerman)
Subject: Neeseteril, Jaroslav,Mathematics,Computer science- Mathematics,Graph theory
Classification :
QA
39
.
3
.
T67
2006
5910. Topics in discrete mathematics : dedicated to Jarik Nesetril on the occasion of his 60th birthday
Author: Martin Klazar...]et al.[, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Mathematics,، Computer science -- Mathematics,، Graph theory
Classification :
QA
39
.
2
.
T66D4
5911. Topics in engineering mathematics :
Author: edited by Adriaan van der Burgh and Juriaan Simonis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Mathematical optimization.,Mathematics.
5912. Topics in finite and discrete mathematics /
Author: Sheldon M. Ross.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.,Mathématiques.,Combinatieleer.,Diskrete Mathematik,Eindige wiskunde.,Grafentheorie.,Kombinatorik,Matemática.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.,Mathematics.,Mathematische programmering.
Classification :
QA39
.
2
.
R65485
2000eb
5913. Topics in matroid theory
Author: Leonidas S Pitsoulis
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Matroids,، Algorithms,، Computer algorithms
Classification :
QA
5914. Topics in matroid theory /
Author: Leonidas S. Pitsoulis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Matroids.,Algorithms.,Computer algorithms.,Matroids.,Network analysis (Planning)
Classification :
QA166
.
6
5915. Topics in theoretical computer science :
Author: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
5916. Topological Methods in Data Analysis and Visualization II: Theory, Algorithms, and Applications
Author: / Jan Reininghaus, Ingrid Hotz (auth.), Ronald Peikert, Helwig Hauser, Hamish Carr, Raphael Fuchs (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
5917. Topological data structures for surfaces :
Author: editor, Sanjay Rana
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geographic information systems,Geography-- Data processing,Information storage and retrieval systems-- Geography,Géographie - Informatique,Systèmes d'information - Géographie,Systèmes d'information géographique
Classification :
G70
.
212
.
T675
2004
5918. Topology Design of Structures
Author: edited by Martin Philip Bendsøe, Carlos A. Mota Soares.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Structural optimization -- Mathematics -- Congresses.,Structural optimization -- Mathematics.
Classification :
TA658
.
8
E358
1993
5919. Topology-based modeling of textile structures and their joint assemblies :
Author: Yordan Kyosev.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Textile fabrics-- Mathematical models.,Computer simulation.,Manufactures.,Surfaces (Physics),Textile industry.
Classification :
TS1449
